msg-spec(ds; da) == fpf((:Knd  IdLnk); kl.(msg-item(ds; da; (kl.1); (kl.2)) List)) 

latex

Definitions	fpf(A; a.B(a)), x:A  B(x), Knd, IdLnk, type List, msg-item(ds; da; k; l), t.1, t.2
FDL editor aliases	msg-spec